window.onload = function () {
    init1();
    init2();
}
var dome;
var dome1;
var dome2;
var speed=15;
var myTimer;
function moveTop(){
    if(dome2.offsetTop-dome.scrollTop<=0)
         dome.scrollTop=dome.scrollTop-dome1.offsetHeight;
         else{
             dome.scrollTop++;
         }
}
function init1(){
    dome=document.getElementById("dome");
    dome1=document.getElementById("dome1");
    dome2=document.getElementById("dome2");
    dome2.innerHTML=dome1.innerHTML;
    myTimer=setInterval(moveTop,speed);
    dome.onmouseover=function(){clearInterval(myTimer)};
    dome.onmouseout=function(){
        myTimer=setInterval(moveTop,speed);
    }
}